Methods and Procedures for the Verification and Validation of Artificial Neural Networks
Methods and Procedures for the Verification and Validation of Artificial Neural Networks is the culmination of the first ...
اقرأ المزيد
Parallel Problem Solving from Nature - PPSN IX
We received 255 paper submissions this year. After an extensive peer review process involving more than 1000 reviews, the ...
اقرأ المزيد
RoboCup 2006: Robot Soccer World Cup X
This book constitutes the 10th official archival publication devoted to RoboCup. It documents the achievements presented ...
اقرأ المزيد
RoboCup 2007: Robot Soccer World Cup XI
The book presented at the symposium focused on topics related to these three events and to artificial intelligence and robotics ...
اقرأ المزيد
S-BPM in the Production Industry
This volume presents several case studies highlighting the latest findings in Industry 4.0 projects utilizing S-BPM features. ...
اقرأ المزيد
Self-Managed Networks, Systems, and Services
This book constitutes the refereed proceedings of the Second IEEE International Workshop on Self-Managed Networks, Systems, ...
اقرأ المزيد
Self-Organizing Systems
This book constitutes the refereed proceedings of the First International Workshop on Self-Organizing Systems, IWSOS 2006. ...
اقرأ المزيد
Self-Organizing Systems
The 17 revised full papers and five revised short papers presented together with two invited talks were carefully selected ...
اقرأ المزيد
Self-Stabilizing Systems
Constitutes the proceedings of the 7th International Symposium on Self-Stabilizing Systems, held in Barcelona, Spain, in ...
اقرأ المزيد
Simulated Evolution and Learning : 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings
This volume covered are evolutionary learning; evolutionary optimisation; hybrid learning; adaptive systems; theoretical ...
اقرأ المزيد
Software Engineering and Middleware
Middleware provides an integration framework for multiple and potentially - verse computing platforms. It allows developers ...
اقرأ المزيد
Stabilization, Safety, and Security of Distributed Systems
This book contains the proceedings of the 8th International Symposium, SSS 2006, held in Dallas, TX, USA, November 17-19, ...
اقرأ المزيد
Stabilization, Safety, and Security of Distributed Systems : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings
The book addresses all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing ...
اقرأ المزيد
Symbiotic Interaction
The 12 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 23 submissions. The ...
اقرأ المزيد
The Adaptive Web
Following the increase in of the information available on the Web, the diversity of its users and the complexity of Web applications, ...
اقرأ المزيد
Times of Convergence. Technologies Across Learning Contexts : Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008. Proceedings
The book covers the different fields of learning technologies: education, psychology, computer science. The book address ...
اقرأ المزيد
Unconventional Programming Paradigms
Nowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the ...
اقرأ المزيد
Unifying Themes in Complex Systems, Vol. IIIB: New Research
This volume contains over 35 papers selected from those presented at the conference on topics including: self-organization ...
اقرأ المزيد
User Modeling 2005
The book offers topical sections on adaptive hypermedia, affective computing, data mining for personalization and cross-recommendation, ...
اقرأ المزيد
